Computer arithmetic - PDFSEARCH.IO - Document Search Engine

Computer arithmetic
Results: 1849

#	Item
151	Theoretical Informatics and Applications Will be set by the publisher Informatique Th´ eorique et Applications Add to Reading List Source URL: www.lri.fr Language: English - Date: 2009-04-03 13:56:10 Computer arithmetic Mathematics Numerical analysis Computing Mathematical analysis Arithmetic Rounding Precision Extended precision IEEE floating point Determinant NaN
152	Vienna proposal for interval standardization Arnold Neumaier Fakult¨at f¨ ur Mathematik, Universit¨at Wien Nordbergstr. 15, A-1090 Wien, Austria Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2008-12-22 10:20:17 Mathematics Computer arithmetic Arithmetic Numerical analysis IEEE standards Interval arithmetic Interval Rounding 0.999... IEEE floating point NaN Global optimization
153	Thread boosting and polynomial factorization in NTL Victor Shoup October 21, 2015 As of version 9.5.0, NTL provides a thread boosting feature. With this feature, certain code within NTL will use available threads to spee Add to Reading List Source URL: www.shoup.net Language: English - Date: 2015-10-21 12:08:00 Parallel computing Algebra Polynomials Computer algebra Arithmetic Factorization of polynomials Multi-core processor Factorization Speedup
154	Math´ematiques `a rebours et un Lemme de K¨onig Faible de Type Ramsey Stage de Master 2 - MPRI mars - aoˆ ut 2012 Ludovic Patey ∗ Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:40:26 Mathematical logic Computability theory Mathematics Theoretical computer science Proof theory Logic in computer science Theory of computation Second-order arithmetic Combinatory logic Reverse mathematics Computable function
155	Appeared in Proceedings of the 34th International Conference on Software Engineering (ICSE), Zurich, Switzerland, JuneUnderstanding Integer Overflow in C/C++ Will Dietz,∗ Peng Li,† John Regehr,† and Vikram Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2012-03-30 12:02:04 Software engineering Computing Computer programming C Data types Undefined behavior Integer overflow Printf format string Objective-C C99 Floating point Arithmetic overflow
156	Short Division of Long Integers (joint work with David Harvey) Paul Zimmermann October 6, 2011 Add to Reading List Source URL: caramba.loria.fr Language: English - Date: 2016-06-13 15:37:32 Mathematics Computer arithmetic Software Algebra Paul Zimmermann Division algorithm GNU Multiple Precision Arithmetic Library GNU MPFR Rounding Division Integer Remainder
157	JAR manuscript No. (will be inserted by the editor) Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq Érik Martin-Dorel · Guillaume Melquiond Add to Reading List Source URL: www.lri.fr Language: English - Date: 2015-10-06 03:32:12 Computer algebra Computer arithmetic Algebra Numerical analysis Polynomials Interval arithmetic Automatic differentiation Floating point Polynomial Remainder Symbolic computation Interval
158	On uniform weak K¨onig’s lemma Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:11:16 Computability theory Proof theory Mathematical logic Predicate logic Logic in computer science Primitive recursive functional Reverse mathematics Primitive recursive function Primitive recursive arithmetic First-order logic Peano axioms Ordinal analysis
159	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verified Compilation of Floating-Point Computations Sylvie Boldo · Jacques-Henri Jourdan · Add to Reading List Source URL: www.lri.fr Language: English - Date: 2014-12-04 07:10:42 Computer arithmetic Computing Computer architecture IEEE floating point Double-precision floating-point format Long double Extended precision C99 Single-precision floating-point format SSE2 Strictfp Normal number
160	Efficient Software Implementation of Binary Field Arithmetic Using Vector Instruction Sets Diego F. Aranha Department of Computer Science University of Bras´ılia Joint work with Add to Reading List Source URL: caramba.loria.fr Language: English Computer architecture Computing X86 instructions Binary arithmetic Computer engineering Central processing unit Computer arithmetic Instruction set Streaming SIMD Extensions Bitwise operation Bit manipulation SSSE3

UPDATE